Penser le discernement avec M.-D. Chenu, J.-M. R. Tillard et C. Theobald
نویسندگان
چکیده
منابع مشابه
T D C C P-c M C M
A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...
متن کاملFlint , D . J . and Travers , M . and Barber , M . C . and Binart , N . and Kelly
Strathprints is designed to allow users to access the research output of the University of Strathclyde. Unless otherwise explicitly stated on the manuscript, Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Please check the manuscript for details of any other licences that may have been applied. You may not engage in ...
متن کاملA Case of Primary Adenitis under the Care of Surgeon J. C. Lucas, M. D., F. R. C. S.
a lymphatic gland, is a rare affection, and very few cases of it, I believe, are on record, I propose here to briefly describe the following case :? Suppurative adenitis occurs very frequently as the result of secondary implication from local absorption, through lymph vessels situated at its distal end, of sources of irritation, as for example, the ordinary bubo of the groin in cases of a sore ...
متن کاملMACRODYSTROPHIA LIPOMATOSA: CT AND M R FINDINGS
Macrodystrophia lipomatosa is a rare congenital form of localized gigantism characterized by an increase in all mesenchymal elements, particularly fibroadipose tissue. MR imaging can be used to examine the soft tissue and detect the fibrous and fatty hypertrophy that characterizes this condition and also diagnose an associated fibrolipomatous hamartoma of the median or plantar nerve. We des...
متن کاملFficient M Ulti - R Obot C Overage
Area coverage is an important task for mobile robots, with many real-world applications. Motivated by potential efficiency and robustness improvements, there is growing interest in the use of multiple robots in coverage. Previous investigations of multi-robot coverage algorithms focused on the improved efficiency gained from the use of multiple robots, but did not formally addressed the potenti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Théologiques
سال: 2016
ISSN: 1492-1413,1188-7109
DOI: 10.7202/1035690ar